<?php
/**
 * An exception class for dispatcher errors.
 */
class Dispatcher_Exception extends Exception {
}
?>
